Понятия со словосочетанием «теория доказательств»
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Формальная теория доказательств — один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии строго определённого законом набора фактов, а для каждого факта закон полностью определяет его существенность и обстоятельства, при которых факт должен быть признан действительным доказательством. Таким образом, каждое доказательство имеет...
Связанные понятия
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Экспертология — межотраслевая научная дисциплина, объектом исследования которой является экспертиза. Является составной частью комплекса наук о принятии решений. Специалисты по экспертологии называются экспертологами. Субъектами экспертологии являются: заказчики экспертизы или лица, принимающие решения, организаторы экспертизы, эксперты, представители объекта экспертизы. Областью исследования экспертологии является круг вопросов, включающий в себя изучение процессов получения, анализа и обработки...
Социологическая теория — совокупность понятий и принципов, объясняющих функционирование социологических структур.
Судебная психология — раздел юридической психологии, в котором изучаются психологические проблемы, связанные с судопроизводством. В рамках судебной психологии разрабатываются проблемы судебно-психологической экспертизы, среди которых можно выделить: юридически значимые эмоциональные состояния как предмет экспертного исследования, юридическая (психологическая) составляющая вменяемости, психологические аспекты исследования беспомощного состояния потерпевших от сексуальных насильственных действий, юридически...
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
Методоло́гия (от греч. μεθοδολογία — учение о способах; от др.-греч. μέθοδος из μετά- + ὁδός, букв. «путь вслед за чем-либо» и др.-греч. λόγος — мысль, причина) — учение о методах, способах и стратегиях исследования предмета.
Методоло́гия нау́ки, в традиционном понимании, — это учение о методах и процедурах научной деятельности, а также раздел общей теории познания (гносеологии), в особенности теории научного познания (эпистемологии) и философии науки.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Крите́рий (др.-греч. κριτήριον — способность различения, средство суждения, мерило) — признак, основание, правило принятия решения по оценке чего-либо на соответствие предъявленным требованиям (мере). Особо выделяют критерии истинности знания. Различают логические (формальные) и эмпирические (экспериментальные) критерии истинности. Формальным критерием истины служат логические законы: истинно всё, что не заключает в себе противоречия, логически правильно. Эмпирическим критерием истинности служит...
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод...
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Номотетика,
номотетический подход или метод (от др.-греч. νόμος — закон + корень θη- — полагать, устанавливать) − 1) в учении Канта способ «законодательной» деятельности разума в установлении им законов и правил познания; 2) в неокантианстве баденской школы — метод естественных наук, направленный на выявление общих закономерностей, генерализующий общие тенденции науки. Понятие введено Вильгельмом Виндельбандом, подробно описано Генрихом Риккертом, усматривавшим вслед за Кантом предмет естествознания...
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Криминалистическая характеристика преступлений — это научная абстракция, в которой находит отражение в обобщенном виде совокупность взаимосвязанных, криминалистически значимых данных о преступлениях определенного вида/разновидности, знание которых позволяет методически правильно организовать расследование и в частности определить типовые следственные версии.
Стиль научного мышления — в философии науки выражает мировоззренческий и методологический подход к пониманию мира и объяснению эмпирических фактов. Включает в себя применяемые на данном историческом этапе развития науки методы эмпирического и теоретического исследования, определённую гносеологическую или социальную установку в познании, философские идеи и принципы, психологию учёных. Понятие "стиль научного мышления" было введено в науку М. Борном и Л. Флеком.
Критерий демаркации — научный способ разграничения условий, которые избираются для объяснения данного явления. Термин «демаркация» означает «разграничение».
Кауза́льность (лат. causalis) — причинность; причинная взаимообусловленность событий во времени. Детерминация, при которой при воздействии одного объекта (причина) происходит соответствующее ожидаемое изменение другого объекта (следствие). Одна из форм отношения, характеризующаяся генетичностью, необходимостью. Каузальность выполняет важнейшую методологическую роль в научном и повседневно-бытовом познании. На основании её понятия строились механистическая картина мира, концепции детерминизма (Лаплас...
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Джастификационизм (от англ. justificationism - justification) — позитивистский (в некоторых источниках постпозитивистский) метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом.
Социология знания (англ. Sociology of knowledge) — теоретическая область социологии, изучающая с различных теоретико-методологических позиций проблематику социальной природы знания. В сферу интересов социологии знания входит анализ социальной природы знания (социология знания в узком смысле); мышления, его исторического развития (социология мышления), когнитивных систем и познавательной деятельности общества (социология познания) и основания социологии (социология социологии).
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Теория среднего уровня (англ. middle-range theory) состоит из проверяемых обобщений, соединяющих теорию с практикой. Идея заключается в том, что необходимо разрабатывать теории, исходя из ограниченных социальных явлений. Эти теории строятся как обобщённые, связанные в логическую систему, высказывания, они должны строиться в соответствии с эмпирическими исследованиями, проверяться на практике. Термин был введён американским социологом Мертоном в 1947 году. Если сам Мертон первоначально под теориями...
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Процессуальная форма — урегулированный нормами процессуального права порядок осуществления процессуальной деятельности и документального закрепления её результатов.
Ди́скурс-ана́лиз — в общем смысле — ряд подходов в социальных науках, целью которых является критическое исследование дискурса, а основными задачами — анализ соотношения сил в обществе, при осуществлении которого формулируется нормативный подход, с позиции которого можно критически проанализировать эти соотношения в связи с социальными изменениями. К дискурс-аналитическим подходам могут быть отнесены: теория дискурса Э. Лакло и Ш. Муфф, критический дискурс-анализ, дискурсивная психология и др.
Социологическое исследование — система логических и последовательных методологических, методических и организационно-технических процедур в социологии для получения научных знаний о социальных явлениях, а также их процедур, процессов.
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Научное знание — система знаний о законах природы, общества, мышления. Научное знание является основной научной картиной мира, поскольку описывает законы его развития.
Пролего́мены (др.-греч. προλεγόμενα — предисловие, введение) — рассуждения, формулирующие исходное понятие и дающие предварительные сведения о предмете обучения; разъясняющее введение в изучение той или иной науки, имеющее целью предварительное ознакомление с её методами и задачами и обозначение статуса науки, дисциплины в системе рационального знания.
Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана...
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Интерсубъекти́вность — понятие, означающее 1) особую общность; 2) определённую совокупность людей, обладающих общностью установок и воззрений; 3) обобщенный опыт представления предметов.
Постпозитиви́зм (англ. Postpositivism) — общее название для нескольких школ философии науки, объединённых критическим отношением к эпистемологическим учениям, которые были развиты в рамках неопозитивизма и обосновывали получение объективного знания из опыта. Основные представители: Карл Поппер, Томас Кун, Имре Лакатос, Пол Фейерабенд, Майкл Полани, Стивен Тулмин. К постпозитивизму близки работы школы неорационализма, в особенности Г. Башляра и М. Фуко.
Толкование права (лат. interpretatio) — интеллектуальный процесс, направленный на, во-первых, выявление смысла норм права самим интерпретатором (уяснение) и, во-вторых, доведение этого смысла до сведения других заинтересованных лиц (разъяснение). Уяснение и разъяснение правовых норм — два важнейших результата процесса толкования, но при этом процесс толкования права нередко ограничивается уяснением, то есть познанием смысла нормы «для себя», без сообщения этого результата другим субъектам. Толкование...
Достове́рность — термин, имеющий различные значения и применяемый в философии, теории судебных доказательств, гносеологии, логике, теории вероятностей, психологии, естествознании и других областях. Единого определения термина не существует, хотя собственное его определение пытались давать многие известные философы (Локк, Лейбниц, Фихте, Кант, Гегель и другие).
Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке.
Постнекласси́ческая нау́ка — современный этап становления науки, начавшийся в 1970-х годах. Автором концепции является академик В. С. Стёпин. Одной из черт нового этапа становится междисциплинарность, обслуживание утилитарных потребностей промышленности, дальнейшее внедрение принципа эволюционизма. Характерным примером постнеклассической науки мыслится синергетика, изучающая процессы самоорганизации.
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Плюрали́зм (от лат. pluralis — множественный) — философская позиция, согласно которой существует множество различных равноправных, независимых и несводимых друг к другу основ или форм бытия (онтологический плюрализм), а значит и форм знания и методологий познания (эпистемологический плюрализм). Плюрализм занимает оппонирующую позицию по отношению к монизму.